81. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
پدیدآورنده : Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2884
82. Foundations of multithreaded , and distributedprogramming
پدیدآورنده :
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Parallel programming (Computer science),Electronic Data Procassing- Distributed Processing,Threads(computer program)
رده :
QA
76
.
58
.
A57
2000
83. Foundations of multithreaded, parallel, and distributed programming
پدیدآورنده : Gregory R. Andrews,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Parallel programming )Computer science(,Electronic data processing, Distributed processing,Threads )Computer programs(
رده :
QA
.
A57
76
.
58
2000
84. Foundations of multithreaded, parallel, and distributed programming
پدیدآورنده : Andrews, Gregory R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Parallel programming )Computer science(,، Threads )Computer programs(,، Electronic data processing-- Distributed processing
رده :
QA
76
.
58
.
A57
2000
85. Foundations of multithreaded, parallel, and distributed programming
پدیدآورنده : / by G.R. Andrews
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Threads (Computer programs)
رده :
QA76
.
58
.
A577
2000
86. Graphics processing unit-based high performance computing in radiation therapy /
پدیدآورنده : edited by Xun Jia, Steve B. Jiang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Graphics processing units-- Programming,Radiotherapy-- Data processing,Electronic Data Processing,Radiotherapy, Computer-Assisted,Tomography, X-Ray Computed
رده :
RM862
.
5
.
G73x
2016
87. Handbook of data processing administration, operations, and procedures
پدیدآورنده : Mixon, Shirley R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing,، Computer programming management
رده :
QA
76
.
M5868
88. Hatrix computer analysis of structures
پدیدآورنده : [by] M.F. Rubinstein
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Electronic data processing-Structures Theory of,Electronic digital computer Programming,Matxices
رده :
TA
642
.
R8
89. How to design programs :
پدیدآورنده : Matthias Felleisen ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Electronic data processing.
رده :
QA76
.
6
.
H697
2001
90. How to design programs
پدیدآورنده : / Matthias Felleisen ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming,Electronic data processing
رده :
QA76
.
6
.
H697
2001
91. How to design programs :
پدیدآورنده : Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Electronic data processing.,Computer programming.,Electronic data processing.
رده :
QA76
.
6
.
H697
2018
92. How to design programs: an introduction to programming and computing
پدیدآورنده : Matthias Felleisen ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer programming,، Electronic data processing
رده :
QA
76
.
6
.
H697
2001
93. How to design programs :an introduction to programming and computing
پدیدآورنده : Matthias Felleisen ... [et al.]
موضوع : Computer programming,Electronic data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
94. How to solve it by computer
پدیدآورنده : Dromey, R.G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer
رده :
QA
76
.
95
.
D76
1982
95. How to solve it by computer
پدیدآورنده : R. G. Dromey
موضوع : Mathematics Data processing,Problem solving-data processing,Electronic digital computer-Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
96. Information processing with evolutionary algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Evolutionary programming (Computer science) ; Genetic algorithms. ; Electronic data processing. ;
97. Information processing with evolutionary algorithms
پدیدآورنده : / Manuel Gra?na ... [et al.], eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Evolutionary programming (Computer science),Genetic algorithms.,Electronic data processing.
رده :
QA
,
76
.
618
,.
I56
,
2005
98. Information processing with evolutionary algorithms
پدیدآورنده : / Manuel Grana ... [et al.], eds
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Evolutionary programming (Computer science),Genetic algorithms,Electronic data processing
رده :
QA76
.
618
.
I56
2005
99. Information processing with evolutionary algorithms: from industrial applications to academic speculations
پدیدآورنده : Manuel Grana...]et al.[, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Evolutionary programming )Computer science(,، Genetic algorithms,، Electronic data processing
رده :
QA
76
.
618
.
I56
100. Intreduction to computer science using the turning programming language
پدیدآورنده : Holt, Richard C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic data processing,Programming ، Electronic digital computers,Turnigg )computer program language (
رده :
QA
76
.
H623
1984
